Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
221	Outstanding Researcher Award Citation for Professor Ooi Beng Chin Professor Ooi Beng Chin is Distinguished Professor, Dean of the School of Computing, and Director of the Interactive Digital Media Institute. Beng Chin Add to Reading List Source URL: www.nus.edu.sg Language: English - Date: 2013-04-26 04:57:13 International nongovernmental organizations IDistance Peer-to-peer Data SIGMOD Computing Temporal database Institute of Electrical and Electronics Engineers Spatiotemporal database Database management systems Database theory Data management
222	Preference-aware Integration of Temporal Data Bogdan Alexe Mary Roth Wang-Chiew Tan Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-11-12 16:58:04 Philosophy of language Philosophy of mind Semantics Extension Logic Interpretation Model theory
223	It’s About Time: On Optimal Virtual Network Embeddings under Temporal Flexibilities ∗ Internet Matthias Rost∗ , Stefan Schmid∗† , Anja Feldmann∗ Network Architectures, Technische Universität Berlin, Germany Add to Reading List Source URL: www.net.t-labs.tu-berlin.de Language: English - Date: 2014-10-15 13:33:26 Network flow Model theory Embedding Mathematics Topology Maximum flow problem
224	Temporal Difference Learning Versus Co-Evolution for Acquiring Othello Position Evaluation Simon M. Lucas Department of Computer Science University of Essex, Colchester, UK [removed] Add to Reading List Source URL: algoval.essex.ac.uk Language: English - Date: 2006-03-31 10:00:22 Game theory Abstract strategy games Search algorithms Minimax Reversi Othello Backgammon Heuristic Logistello Games Game artificial intelligence Video board games
225	On Computing Temporal Aggregates with Range Predicates DONGHUI ZHANG Northeastern University ALEXANDER MARKOWETZ Hong Kong University of Science and Technology Add to Reading List Source URL: www.iai.uni-bonn.de Language: English - Date: 2009-10-30 11:56:17 Database theory Database management systems B-tree R-tree SQL Extensible Storage Engine Aggregate UB-tree Database Data management Information science Information
226	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
227	Querying Schemas With Access Restrictions Michael Benedikt Pierre Bourhis Clemens Ley Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:30 Model theory Finite model theory Programming paradigms Conjunctive query Database theory FO Linear temporal logic Datalog First-order logic Theoretical computer science Mathematical logic Mathematics
228	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
229	Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction∗ Jun Zhang1,2,3,4 1 Chaokun Wang2,3,4 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:06 Control theory Collective intelligence Mathematical model Mathematical modeling Markov chain Dynamical system Logarithm Discretization Linear temporal logic Mathematics Applied mathematics Markov models
230	The TP-Index: a dynamic and efficient indexing mechanism for temporal databases - Data Engineering, 1994. Proceedings., 10th International Conference Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2010-04-05 21:08:25 Data management Computing Polygon B+ tree 3D computer graphics Binary trees M-tree Bounding volume B-tree R-tree Graph theory

UPDATE